encrypt(tab;keyv)
== let K,p,f = tab in <K, p+1, if p <z K then f[p:=<(f(p)).1, keyv>] else f fi > 

latex

---

clarification:

encrypt(tab;keyv)
== let K,p,f = tab in 
== <K, p+1, if p <z K then update(i,j. (i = j);f;p;<(f(p)).1, keyv>) else f fi > 

latex

Definitions	let x,y,z = a in t(x;y;z), n+m, #$n, if b then t else f fi , i <z j, f[x:=v], x.A(x), (i = j), <a, b>, t.1, f(a)
FDL editor aliases	st-encrypt